Formálně‑logický systém navržený jako prostředek explikace sémantiky přirozeného jazyka. Je založen na ztotožňování významu výrazu s jeho intenzí, chápanou jako funkce přiřazující každému ↗možnému světu ↗extenzi tohoto výrazu v tomto světě. Nejznámější systém intenzionální logiky navrhl R. Montague, jiným pozoruhodným systémem je ↗transparentní ntenzionální logika (TIL) P. Tichého. Viz též ↗formální sémantika.